Remove broken assertion in 64-bit shadow pagetable code.

diff --git a/xen/arch/x86/shadow_public.c b/xen/arch/x86/shadow_public.c
index fad54a7f97f10d9a74c018fe3b98e2fc73b356f0..292ef81e7df18ef99de66581b77b541b7bf82471 100644 (file)
--- a/xen/arch/x86/shadow_public.c
+++ b/xen/arch/x86/shadow_public.c
@@ -256,7 +256,6 @@ void free_monitor_pagetable(struct vcpu *v)
 {
     unsigned long mfn;
 
-    ASSERT( pagetable_val(v->arch.monitor_table) );
     /*
      * free monitor_table.
      * Note: for VMX guest, only BSP need do this free.